COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input basic
C00004 ENDMK
C⊗;
\input basic
\ctrline{PROPOSAL TO MODIFY REQUIRED COURSES FOR THE MATHEMATICAL SCIENCES MAJOR}
\vskip 1cm
	At present CS137a and CS137b (both numerical analysis)
are required courses.  However, more students today are interested in
aspects of computer science that have more in common with mathematical
logic than with analysis, and these fields have developed greatly
in recent years.

\vskip .2cm
	This is to propose that an alternate sequence be allowed, namely
CS156 Mathematical Theory of Computation and CS206 (Recursive Programming
and Proving).  The former presents the elementary mathematics required
for proving programs correct, first order logic and the theory of
formal languages.  The second covers computing with symbolic expressions
and techniques for proving that recursive programs meet their specifications.

\vfill\end